$\vdash$  $\forall$$P$,$Q$:$\mathbb{P}$. \{$P$ $\Rightarrow$ $Q$\} $\Rightarrow$ \{($\downarrow$$P$) $\Rightarrow$ ($\downarrow$$Q$)\}